-
1 корректурные знаки
Русско-английский словарь по общей лексике > корректурные знаки
-
2 корректурный
-
3 знак
муж.1) sign, mark; token, symbol, badge ( символ)дорожный знак "переход" — beacon ( в Великобритании)
знак равенства — матем. sign of equality, equals sign
вопросительный знак — грам. question-mark
восклицательный знак — грам. exclamation mark
двоичный знак — ( в вычислительных машинах) bit
диакритический знак — лингв. diacritical mark/sign, diacritic
знак вставки — полигр. ( буквы или слова) caret
знак деления — матем. division sign
знак обелиск — полигр. obelus
знак препинания — грам. punctuation mark
знак придыхания — фон. aspirate
знак сноски — полигр. reference mark
знак ударения — stress mark, accent (mark)
знаки препинания — грам. stops, punctuation marks
ключевой знак — муз. clef
2) ( предзнаменование)3) ( сигнал)••- в знак- денежный знак
- дорожные знаки
- знаки отличия
- знаки различия
- под знаком
- фабричный знак -
4 специальный знак
1. additional symbol2. special symbol3. specific symbol4. special characterРусско-английский большой базовый словарь > специальный знак
-
5 товарный знак
1. brand nameзнак союза «и» — short and
именной жетон; медальон с фамилией; личный знак — name tag
2. merchandise markзаводская, фабричная марка, товарный знак — manufacture mark
фабричная марка; фабричный знак; товарный знак — trade mark
3. logo4. trade markкорректурный знак, проставляемый в тексте — textual mark
книжный знак владельца книги, экслибрис — ownership mark
Синонимический ряд:клеймо (сущ.) клеймо; марка -
6 фирменный знак
1. brand nameименной жетон; медальон с фамилией; личный знак — name tag
2. identification mark3. shop-mark4. mark of a firmзаводская, фабричная марка, товарный знак — manufacture mark
фабричная марка; фабричный знак; товарный знак — trade mark
5. service mark6. service marksкорректурный знак, проставляемый в тексте — textual mark
книжный знак владельца книги, экслибрис — ownership mark
См. также в других словарях:
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
Turing's proof — First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem , Turing s proof was the second proof of the assertion (Alonzo Church proof was first) that some questions are undecidable :… … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… … Wikipedia
Christoffel symbols/Proofs — This article contains proof of formulas in Riemannian geometry which involve the Christoffel symbols. Proof 1 Start with the Bianchi identity: R {abmn;l} + R {ablm;n} + R {abnl;m} = 0,!. Contract both sides of the above equation with a pair of… … Wikipedia
Double counting (proof technique) — In combinatorics, double counting, also called counting in two ways, is a combinatorial proof technique for showing that two expressions are equal by demonstrating that they are two ways of counting the size of one set. In this technique, which… … Wikipedia
Trade Symbols — in the United StatesThere are four type of trade symbols# Trade mark Unique Symbol, word, picture, name or combination of these, e.g. Apple Symbol of Apple Computer. # Service mark Which identifies one service from another, e.g. Golden Arches of… … Wikipedia
Logical symbols — Reading logical symbolism frightens many people more than it should. The very term symbolic logic sounds terrifying, and the presence of even a small amount of symbolism may deter many readers from otherwise perfectly intelligible texts. The… … Philosophy dictionary
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia